Weighted Multi Dimensional Logic Programs

نویسنده

  • Pierangelo Dell'Acqua
چکیده

We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs) that allow one to assign a measure of strength to the knowledge relationships represented by the edges. We present the declarative and operational semantics of such a framework, and give results of correctness. We illustrate the usage of the framework by a number of examples.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Multi-Dimensional Logic Programming: Theoretical Foundations

This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs ...

متن کامل

Multi-dimensional Logic Programming

This paper introduces an extension of logic programming based on multi-dimensional logics. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the langu...

متن کامل

Multi-dimensional Logic Programming

According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomies), strength of the updating instance (as in the legislative domain), hierarchical position of knowledge source (as in organizations), etc. The mutu...

متن کامل

Multi-objective design of fuzzy logic controller in supply chain

Unlike commonly used methods, in this paper, we have introduced a new approach for designing fuzzy controllers. In this approach, we have simultaneously optimized both objective functions of a supply chain over a two-dimensional space. Then, we have obtained a spectrum of optimized points, each of which represents a set of optimal parameters which can be chosen by the manager ...

متن کامل

Adaptation of Weighted Fuzzy Programs

Fuzzy logic programs are a useful framework for handling uncertainty in logic programming; nevertheless, there is the need for modelling adaptation of fuzzy logic programs. In this paper, we first overview weighted fuzzy programs, which bring fuzzy logic programs and connectionist models closer together by associating significance weights with the atoms of a logic rule: by exploiting the existe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004